Bug fixes
1. Fix bug where install.php doesn't include config.php (one can
re-install as many times as they wish)
2. Remove "name" attribute from short so that it doesn't get sent to the
POST request