IcedTea does not like $extensions