minor build fix for Linux