PMW

Oops, I should have read the new Portfile carefully, - it's about the newer version 4.12. But anyway, - it might be better to have it stored on the server, so that everyone can import it via sync-command. Eckhard.