The text e2db2965b17f, as Debian 8 (Jessie) shipped it.
tool to set CPU frequency
mate-cpufreq-selector(1) on Linux now