Renamed DTReachability static lib products