gnu extension EXIT replaced with xmi_exit, wrapper around libc's exit

although a very common extension, it's better not to use any at all!