fixes compile problem on linux, fixes 0bffbfb40b0e9840f68063b0a092294c1c33ecb9