extra info for mint debian installation