Allow the binary result of file:read_file to be solved