Renamed auxiliary files to adhere to new naming scheme