remove some machine-specific config