eio: We now use eio 1.7.11