attempt at making travis CI happy