We run on Linux!

Fixes #404