fix missing include / compilation on Ubuntu 11.10