Merge pull request #1341 from diml/master

utop 1.9
optcomp 1.5