dynaa_opt works

usage: dynaa_opt [-load xxx] < a.bc > b.bc