Fixes for latest mirage-types, using read instead of listen