Make blakdeco run on Linux