Now tracking `aux.py`.