Can you take Toernquist's inaccessible away?

Abstract

We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.