Fixed a compilation issue in Linux.(Ubuntu)