add missing #include (fix #48)