Another quick fix to make travis CI work.