Fix Linux build. #5