libvlc: libvlc_media_list_player_play is broken

libvlc_media_list_player_play causes a sigsegv in pthread_mutex_lock:

C [libpthread.so.0+0x7550] pthread_mutex_lock+0x20 C [libvlc-control.so+0xf7e4] C [libvlc-control.so+0x100b0] libvlc_media_list_lock+0x32 C [libvlc-control.so+0x1110e] libvlc_media_list_player_next+0x20 C [libvlc-control.so+0x10dbb] libvlc_media_list_player_play+0x2e

This error is reproduced in org.videolan.jvlc.internal.MediaListPlayerTest.mediaListPlayerPlayNoItemTest()

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information