non preoccuparti...io con debian ho 7 gb di "/" e avanza lo spazio!