make travis badge work