Ooops, top-level C++-comments aren't recognized by flex.