Possible fix for thread-safe PHP builds