partial fix for Linux build