I seem to have forgotten the files to commit. This is embarrassing.
Awkward commit adding missing bin file...