Patch for fixing configure-generated-file-in-source