Fix for GNU/Linux.