Please consider either updating this port or deprecating it. Makefile also needs a bit of rework regarding USE_GITHUB (see Porters Handbook)
Friendly ping