Linux build fix

Sorry about that.