Un-hardcode HS version and codename in 'hs server'