Added pretzel binaries, hopefully that works?