Timer fix for 32bit systems