Luarocks appears to be down, so let's use the mirror for now.