- GITHUB redirects the mirrors again. All ports that use USE_GITHUB fail
to fetch the distfiles. Set FETCH_ARGS fix the problem.