Fixed a compilation error in Linux