Sorry for the false alarm. The issue I reported was because I needed to have the 'unsermake' package installed. Ignore my confirmation of this bug.
Sorry for the false alarm. The issue I reported was because I needed to have the 'unsermake' package installed. Ignore my confirmation of this bug.