flexmmap bug on x86-64