Bugfix: std::cout needs <iostream>