fix some machine configurations