Fix bug in futil_open() for pipes; Add `ctx31 coverages` -E flag