switch to linux64