Bug 16373: merge.pl reports success but files are not merged