override prefix in php-config as well