fix linux-specific issue