Use filtered auxFiles