Fix #213: robustify puzzlesgen setup.