Patch from Robert de Bath: increase timer resolution.