rAKA/src/common/manual_restart.cc

bugfixes/installation_d…da7634292119a0edbafa9ad…