Amend the previous commit by making one proper NavEvent loop in main.cc.