Forwarding patch

Fixes a build bug that appears with parallel make.