Fix shebang in web-server