wmbutton: .wmbutton file renamed