#!/bin/sh
rm -f "$1"
wget "http://depts.washington.edu/smvtt/sw/$1"
chmod +x "$1"