fix to get old style cpufrequency on linux