possible fix for a build bug in Linux