Fix a "not-initialised" problem in profiler.c
Fix a "not-initialised" problem in profiler.c

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