More updates for travis-ci