Set php executable