skip optimizing cores that already have opt.aforth