- updated to 20141101 snapshot (last change on 20130922)
- lua5.1 is now used: adjusted BRs and lua40 patch