removing mutex in csapp