libdshconfig-0.20.13 (rebuild on x86_64)