fixed bug introduced by non-Linux compilers