Use more portable options when making links in Makefile.fips