Fix FTBFS on Linux (#256)