added some fixes for machines in configuration.h