rarch_console.h - cut down on executable_extension variable as well
and move it to config.def.h