use $phpExt (%core.php_ext% if getting it from the container) instead of hardcoding .php