Make Inferno work again (bug 897146)