disable nlopt on cp-debian