Hopefully fixed Travis configuration