[Freesurfer] switching between different linux versions