putting AudioPlayer.shuffleAndPlay(allSongModel, allSongModel.count) in onFinished in /usr/share/jolla-mediaplayer/mediaplayer.qml lets the mediaplayer automatically play random music, but unfortunately not when the device is locked