Add navigator file that was missing.