this line can be moved to machines.cfg. It may not only needed by this case