Make sure we use deccrtl.olb, just like sqlite3.vax_opt.