fix bug and make it actually possible to load extensions