Valve : small fixes in the install scripts