"src/demo_infHorLQR01.cpp" did not exist on "a34749614e051862d65a4811cd40b8733edea406"