Set rts/gmp/configure executable when booting