Set all_versions to "6 7 8" instead of "6 7 8 9"