Missing include 'soft_timer.h' when trying 'test_all_platforms.sh'