Linux build fixup