Moving from errno in Exception.h to POSIXErrno.h