You will manually have to edit the configuration file. I'm not sure where it is located under linux, but you are looking for a file called
server.py. In this file you will find the following lines
Code:
### Begin group: DEFAULT
# port
# The port on which to listen. Default is 8080
port = 80
Change this back to 8080.
More than likely this is stored in a hidden directory within your home directory.
(And no need to revert to the non distro version).