tree 77191c8bff5c6a87a38598f731109acc30fe6ac0
parent 80e639716717ce4d1858a5c4f22c684119c30d44
author Andy Bavier <acb@cs.princeton.edu> 1455734276 -0500
committer Andy Bavier <acb@cs.princeton.edu> 1455734276 -0500

Try it this way, to avoid NoValidHost error from Nova