make adjustments to make travis CI happy