add missing header include

fixes #7