fix php_version provide as well