Config command now asks which php binary to use to start the local server