Avoid using global name stylefile in setstyle()