Fix setup script on linux