I'm a dev in Belgium, and I get both my "13th month" in December and double holiday pay in June. In fact, I've never seen anybody here who was traditionally employed (i.e., not contracting through a zelfstandig) who didn't get those perks.