Copyright for mpfrc++ source package in Yakkety