diff --git a/tests/test_config b/tests/test_config
index 450c4673b67c9742e8f672e1977644fdfe8bea3a..960ea364e9cc0384f7f6522dcaf3c374c06cb364 100644
--- a/tests/test_config
+++ b/tests/test_config
@@ -15,6 +15,6 @@ MACRO: WP_PLUGINS wp,rtegen
 PLUGIN: @WP_PLUGINS@ @EVA_PLUGINS@
 LIBRARY: frama-clang.core
 
-FILTER:sed  -e "s|@FRAMAC_SHARE@|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g"
+FILTER:sed  -e "s|@FRAMAC_SHARE@|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g" -e 's/^[ 0-9]*| //'
 OPT: @MACHDEP@ -print -check @CXX@
 cd ..