a few fixes
a few fixes

jlmucb/cloudproxy,jethrogb/cloudproxy,jethrogb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy