Fix install_args overrides in php5[456] to work again