Fix name of CoqEAL package.