handle unavailability of CPU time counter somewhat more gracefully