Fix exit function (new C standard not on Linux yet)