bumped up to the latest version of Selmer