Updated travis options