Correct file name to multiplication.thrift