A fix for Linux.