Move the initialization of libdis into main.