Fixes compilation error due to missing header.