fixes build on 64-bit architecture