Ah, okay. I was just wondering when looking at the diff. :) I have no objections to the use of `configure_file` in general.