Add missing library from official 0.51 source files
Merge remote-tracking branch 'remotes/Github/master' into EXP_Add_missing_lib
add missing source files