jflte: Switch back to the TheMuppets repo