make f8's RPM happy