/usr/include/ompl/tools/ is in libompl-dev 1.2.1+ds1-1build1.
This file is owned by root:root, with mode 0o755.
..
/usr/include/ompl/tools/benchmark/
/usr/include/ompl/tools/benchmark/Benchmark.h
/usr/include/ompl/tools/benchmark/MachineSpecs.h
/usr/include/ompl/tools/config/
/usr/include/ompl/tools/config/MagicConstants.h
/usr/include/ompl/tools/config/SelfConfig.h
/usr/include/ompl/tools/debug/
/usr/include/ompl/tools/debug/PlannerMonitor.h
/usr/include/ompl/tools/debug/Profiler.h
/usr/include/ompl/tools/experience/
/usr/include/ompl/tools/experience/ExperienceSetup.h
/usr/include/ompl/tools/lightning/
/usr/include/ompl/tools/lightning/DynamicTimeWarp.h
/usr/include/ompl/tools/lightning/Lightning.h
/usr/include/ompl/tools/lightning/LightningDB.h
/usr/include/ompl/tools/multiplan/
/usr/include/ompl/tools/multiplan/OptimizePlan.h
/usr/include/ompl/tools/multiplan/ParallelPlan.h
/usr/include/ompl/tools/thunder/
/usr/include/ompl/tools/thunder/SPARSdb.h
/usr/include/ompl/tools/thunder/Thunder.h
/usr/include/ompl/tools/thunder/ThunderDB.h