Fix #1261 -- rebuild on DEMOTE_HEADERS change.

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>