change hostname to "portal"

meh, why not?