Fix build on 64bit systems