Merge commit 'c6143584396ccb5e996ab2c0634773587632a9ae' into manual_merge_c614358
tree: 192a0e7ee2240cfbd1bc2d30d7063a82cd18e678
  1. update-makefiles.sh