Add missing include

Fixes oversubscription error.

Change-Id: I8d3375010e75ee39324cd800c86e2a19e0632d5e