Fix compilation of test/infcover.c on linux