Another simu build failure (thanks to Jenkins)