Fix --stop-machine for Android