Update nav.py, removing unused import os