fixing bootstrap server.pl