shortcut for reloading extensions