Fixes in version script on linux