fixed badmatch problem in etbx_est:compile