Add missing header file
Fix build on amd64