Ignore 'install-includes' that are also listed in  'extra-tmp-files'.

Fixes #1557.