Makefile: remove /usr/lib/libportsf.a on veryclean