Fix the build error created by #64 because of a missing header inclusion

A missing header inclusion cause the build to fail. This fixes it.