/* This file allows the testsuite to compile under Linux.  */