Fixes missing include

Crashes at Linux (thanks, Travis CI!)