Fixed a compilation error on some OSes