Force PHP version to 5.4