Update for 4.02.
Merge pull request #65 from whitequark/master

Update for 4.02.