Branch b1_6

b=13285
r=green, bobijam (libexec)
r=johann, deen (gcc)

1. Use the common libexec convention;
2. Quiet remaining gcc warnings.