make skel_lists work with bin_ops option