(#3924) Document fix for binary user data files.
Support Ubuntu 12.04 (Precise Pangolin) #3972
Merge branch 'V8_0-branch'