Use different binary names

Fixes #4