Another try to make travis happy