Update mysqlfragfinder.sh

Playing with GitHub live edition.