on certain configurations. While I'm there, make use of 'SF' macro for SourceForge mirror. PR: ports/116248