Add LazyLoad libraries for redCORE