[musicdb] songs with extensions that weren't lower-case couldn't be played. fixes #14879