This should fix issue #24 (undefined symbol: vid_displayfrequency)