Re: fun with RPMs