fix phpserver for linux