tests: Fix for 64bit too