Copyright for mpfrc++ source package in Cosmic