fix installing issue on debian