Commit ae09da9e66e73821183c1bdb4991f92c24b05545 Parent 53040da862b8f50f4f1af36b6c5e0a675640b052 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 12 Jan 2015 21:29:02 -0800 More travis fixes.