add missing file, to make travis work