Slightly improve deployment scripts.