make install fails for x86 ubuntu linux
Using the binary x86 distribution, make install fails.
Recently (or at least fairly recently) ubuntu changed the symlink /bin/sh to point to /bin/dash. This greatly speeds up many things, but breaks other things.
To work around, delete the link, create a link pointing to a more compliant shell (I tested with zsh, presumably bash works as well), do make install, then revert the link.
This can be considered a documentation issue rather than a bug, but perhaps there's a minor script change that will work with dash as well as other common shells.