add Linux exit, unused at present