fixed case sensitivity bug in fragmentdb.py