switch from .tar.bz2 to .sh files for Linux FAT users