radx: fix url, audit warnings
blat: style cleanup
z3: style cleanup