Fixed a compilation issue on linux