fixed resulting php binary name