change output file name scheme for find_bug script