correction on linux building script