Fix multilib options handling in run_dejagnu.