make check.out faster by -O3