Fix sha256 hash of disnix