benchmark

8b4077d9 - Fix mixed space-tab syntax error in check_machine_configured(). (#216)