Fixed formatdb path in diagnoze.py