Fix to work with a ZTS build of PHP (broken in 2.0.7)