removing server.pl