test on linux 64, fixed printf %d -> %lu