Rename all formulae to avoid naming conflicts