broken PHP is broken