Fix Bento issues and add Bento build to Travis CI config

(note: need to remove last commit before merging)