corrected case where system timer is not built in