changed filenames to fbMiner