Trying to fix system_timer related travis-ci failures