Update travis configuration and source files so that project builds correctly on travis CI.