set cmake to release, so as to use -O3