Revert "git:nopush tmp: check profiling"
Revert "git:nopush tmp: check profiling"

This reverts commit 6b1187912ac02b2fac00fcbeee0a6f7376b7bcd8.

dsroche/flint2,jpflori/flint2,jpflori/flint2,fredrik-johansson/flint2,fredrik-johansson/flint2,dsroche/flint2,jpflori/flint2,dsroche/flint2,fredrik-johansson/flint2,jpflori/flint2,wbhart/flint2,wbhart/flint2,dsroche/flint2,wbhart/flint2