use Nspire I/O 3.1
add support for file extensions