Banks brave junk debt jitters with $3.8 bln Citrix bond sale