(Salamander) Use EXT_EXECUTABLES