Fix compilation of opt_not