Shorten navigator-related declaration filenames.