How to allow audio files with GET parameters in the audio shortcode?

There’s an interesting question on WordPress Stackexchange regarding the audio shortcode .

It looks like it doesn’t support sources with GET parameters.

Here are two examples:

1) Without GET parameters the audio player displays:

where the shortcode is:

[audio src="http://s.w.org/images/core/3.9/JellyRollMorton-BuddyBoldensBlues.mp3"]

2) With GET parameters it only shows the audio link:

http://s.w.org/images/core/3.9/JellyRollMorton-BuddyBoldensBlues.mp3?play=1

where the shortcode is:

[audio src="http://s.w.org/images/core/3.9/JellyRollMorton-BuddyBoldensBlues.mp3?play=1"]

I managed to work around it with the following code snippet:

/**
 * Allow unrecognize audio sources hosted on 's.w.org'.
 *
 * @see http://wordpress.stackexchange.com/a/152352/26350
 */

add_filter( 'wp_audio_shortcode_override',
    function( $html, $atts )
    {
        if( 's.w.org' === parse_url( $atts['src'], PHP_URL_HOST ) )
        {
            add_filter( 'wp_audio_extensions', 'wpse_152316_wp_audio_extensions' );
        }
        return $html;
    }
, PHP_INT_MAX, 2 );

function wpse_152316_wp_audio_extensions( $ext )
{
    remove_filter( current_filter(), __FUNCTION__ );
    $ext[] = '';
    return $ext;
}