ELF file format property page extension for Ubuntu's Nautilus window manager written in Python