update posix assert impl