Looking at the log, you might have noticed 'ctags' executing under the hood. What it does is parse the .ino, so it can generate an appropriate .cpp file which GCC could actually build. As opposed to ...