Fix build on 64 bit systems