Update utop and remove conflict with optcomp.