WS: now driver, driver_gcc and driver_eigen all running