INSTALL: decoratedstr can be built from github