the ISC license is GPL compatible, so no need for this workaround