pin to php >=5.4.0