several extensions are obsolete now

closes #4