extra/icedtea-web: rename install file