rename file server to .py so it will work under Windows