fix phpserver command