Fix compilation problem on GNU/Linux