Added missing include of <valarray> following the last merge.