Small Linux/OSX fix.