Copyright for gcc-7 source package in Disco