Fix location of linux SDK