tmp fix for #186
Merge pull request #196 from ucsd-progsys/local

temporal fix for #186