Re: [PATCH 0/1] MR1855: makedep: Make output_filename more resilient - closed