make -f debian/make_lib INTSIZE=f2c