Fixed a bug that the port to httpserver.py should be optional.
version.py now abbreviates path more properly.