Copyright for ogmtools source package in Zesty