PKMDS: updated to master after clang_support merge