Linux build fix

Should be self-explanatory.