fix gnulinux build.