Trying jfriesen's patch to fix Travis build.