Fixed emergency rule for aux-file