Always call @en.machine_names to check if there is a machine with a name 

Fixes #4556