Android: why doesn't theme change from bright to dark with system? no option to do so.