xboard 4.7.3

Updated from upstream