Fixed problem on 64bit archs