The different name reported by VOPEN is odd ...
Note that c31b1 is not very 64-bit aware, so you might get odd results compiling on an x86_64 Linux machine unless you explicitly modify Makefile_gnu to force 32-bit mode via the -m32 compiler argument. You must also have the appropriate 32-bit compatibility software installed.