small changes in load_tizo_for_tests() function