Caught by differences between Ubuntu build environment and RHEL - fixed with some casting