corrected build in case that the system timer is not enabled.