bugfix: /Makefile: phppgadmin-Linux: don't change the Apache port if something "else" is running on port 80, because this feature was only needed when tomcat was running on that port, but is now buggy