Fixing build errors on Linux [#0]