Allow installing the same plugin twice under a different name