Update ddm4 and fix OS symbols.