tiny fix for Linux