Fix Hamming numbers example to build it w/o errors