Fix --no-opt