dune runs with release profile when using -p, but -O3 fails, thus removing it from dune file.
dune
-p
-O3