echo "Parallel hecke build and backup"
back
time make -j2 hecke
