specpr compiling on Linux