Fix 'make gdbtest-enb' and the GDB_PROVISION option.