Documentation issues. Update INSTALL instructions