Provide correct bin files

Fixes #1