Switching a few more auxiliary files to ARC