Removed unused options in config.dat (from Daniele)