build_linux.sh: copy .so, not .dll
build_linux.sh: add dist arg to build binary tarball
rename INSTALL.foo to build_foo.sh