more php version fixes