How much free space does linux mint need