Fixing bug at compilation of C tests