fixed small bug in mk_server_file.py