Apparently, it's nodist_noinst_HEADERS