Add overlooked files created by `configure` to `extra-tmp-files`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>