hopefully fixed Travis configure failure