Attempt at fixing PHP thread-safe compilation