Use input_channel instead of buffering the intermediate string when reading files.
Speed-up reading of state.db
Speed-up 'opam list'