Add missing include to divergence test compile command.