Missing include (thanks to Jenkins)