fix some glxinfo filenames