Merge branch 'dev' of github.com:amplab/snap into dev
Merge branch 'dev' of github.com:amplab/snap into dev
Compile on Linux