fix compilation due to missing header