fix is_linux_3.2_installed