let's see what happens without --no-opt