020180705~9055cf1.patch
020180707~cdf046e.patch
020180910~3dab0e4.patch
020180910~eebe9f2.patch
020180925~b5942be.patch
020180926~1b6ae84.patch
1001_avoid_setting_RPATH.patch
1002_fix-reload-process-name.patch
1003_remove-php-libs.patch
1004_fix-php-ldflags.patch
1005_avoid_auto_ptr.patch
1009_fix_java_paths.patch
1010_support_java_pass_includes.patch
1015_fix-path-to-glfs.h.patch
1016_readline.patch
