How about just using `base/autom4te.cache/`?