Little fix for Linux.