make dev properly copies the binary into bin/ again.

make release still creates binaries for as many archs as possible.

Fixes #2407