Paul Alfille - 2013-03-04

Thank you for the patch, but I'm not sure it's still needed. --disable-ha7 was removed entirely in the newest version (2.9p0).