Fix Python SimpleHTTPServer module name