Fix a problem that can't be built in 32bit environment. fixes #31