fix porting.mk