import of nvidia-texture-tools from Google Code