Adding additional information needed by Travis-CI