Fix bindist failure while installing HsIntegerGmp2.h