Decode HTML characters for filename