Use ports that travis likes.