Use mv instead of cp to overwrite abella binary

This prevents the "busy text file" errors on UNIX platforms