Compiling on ise seems to require more typecasts than compiling on
hogun.  Not sure why; don't really care.  Just put in enough typecasts
to make everything build again.
Fix silly mistake in new BDD zipper.