bug 1137: get rid of the board flag, which has already been removed in the release