PHP dependency is now 5.4