IRAS photometry of dust shells around RCB stars and other cool carbon stars