Fixed wrong file name in server.py