fix for Linux build