fix timer (was broken on 64 bit systems)
add timer binary to .gitignore