move patched defcomparator to its own file
some licensing stuff