minor portfile change (still doesn't work)