We need to bump the base version to 4.12.1 to accommodate the StableName update. -- David Feuer Well-Typed