Try to fix travis for new pool names.