I'm not sure what ompl_config is or why this would be useful :-/