Android: Make the dig button optional (enabled by default)