Better way to make travis happy