Make this extension install in the good place, at last