filter DisableExtension{} from knownExtensions, fixes #8

See #8 for details.

the point is that 'knownExtensions' contains all extensions twice, once enabled and once disabled; in order to enable all of them, one has to drop the disabled ones.