FIXME cover is lost sometimes for cached library