bugfix in auxfile.py which caused only_used filter to miss some entries