remove file extension from run_server
rename run_server to better reflect what the script does