Fixes an issue for 64bits arch