Thrift-generated files
