scanner output modified according to GCC