Fix the travis-ci configuration to correctly link against lua5.1.