dejagnu: fix cross-compilation