Homebrew now uses lua 5.2 by default.

Explicitly require lua 5.1.
Merge branch 'release_30' into release_31

Homebrew now uses lua 5.2 by default.