tree dc3cfa112c43c757849b225355fe0ca60431a4a6
parent 889d7e8835b927d179e26b93469a30f281b9a940
author zuyu@cs.wisc.edu <zzhang@pivotal.io> 1459754578 -0700
committer zuyu@cs.wisc.edu <zzhang@pivotal.io> 1459755832 -0700

Fixing build issues in GCC.