Making proxy ssh quiet