hopefully fix constraint dual sign (#23), and various compat fixes