Hopefully fixed Travis...