writeBinaryFile is moved to tasty-golden