Make it build on Linux (Ubuntu 16.04, what I have on my work machine, at least).