Copyright for libpthread-workqueue source package in Disco