Add a hack to make WordPress 3.5.1 work. Apparenlty it does not work out of the box. Good job PHP community!