Remove php4.2(!) compat and some debugging leftovers