python: can't open file 'server.py': [Errno 2] No such file or directory