release 0.9.1, compiles with released version 1.5 of ssr+mathcomp