mc-rtc-superbuild extension for ismpc_walking controller - View it on GitHub