execution: FAILED
shm_unlink does not set the right errno: No such file or directory