nspire: include missing header file