added "after-import" instructions to the binary download