Add forgotten headerfiles.