Additional fix for Linux build