Fix a segfault on 32bit platforms