Fixed up compilation on Linux.