Travis tweaks

Updates to make the app build on travis.