minor portfile tweak