SHORT: Flush selectively shared libraries