Make tests 10s faster by not waiting too much for mmunmap() to be called