Bug#731371: spring crashes at startup

[dAgeCKo]

Package: gnome-shell
Version: 88.0+dfsg1-1.2
Severity: grave
Debian: Testing amd64
Regression: No
Desktop: Gnome 3.8.4-5 (gnome-shell)

simply launching spring led to a segmentation fault. Below is the output 
of the terminal.

jd at entropia:~$ spring
Using configuration source: "/home/jd/.springrc"
[CMyMath::Init] CPU SSE mask: 1023, flags:
	SSE 1.0:  1,  SSE 2.0:  1
	SSE 3.0:  1, SSSE 3.0:  1
	SSE 4.1:  1,  SSE 4.2:  1
	SSE 4.0A: 1,  SSE 5.0A: 1
	using streflop SSE FP-math mode, CPU supports SSE instructions
OS: Linux 3.10-3-amd64 #1 SMP Debian 3.10.11-1 (2013-09-10) x86_64
OS: 64bit native mode
[Watchdog] Installed (HangTimeout: 10sec)
Available log sections: Font, VFS, Piece, KeyBindings, Sound, 
CSMFGroundTextures, RoamMeshDrawer, BumpWater, DynWater, SkyBox, 
FarTextureHandler, ModelDrawer, OBJParser, WorldObjectModelRenderer, 
Texture, CollisionVolume, GroundMoveType, UnitScript, AutohostInterface, 
ArchiveScanner, Path, Model
Enabled log sections: Sound(LOG_LEVEL_INFO)
Enable or disable log sections using the LogSections configuration key
   or the SPRING_LOG_SECTIONS environment variable (both comma separated).
   Use "none" to disable the default log sections.
LogOutput initialized.
Spring 88.0 (OMP)
Build date/time: Oct 30 2013 20:47:36
Build environment: boost-105400, GNU libstdc++ version 20131017
Compiler: gcc-4.8.2
Using read-write data directory: /home/jd/.spring/
Using read-only data directory: /usr/share/games/spring/
Using read-only data directory: /usr/lib/spring/
Scanning: /usr/share/games/spring/base
Supported Video modes: 3840x1080, 1920x1080, 1680x1050, 1600x1200, 
1440x900, 1366x768, 1280x1024, 1280x800, 1280x720, 1152x864, 1024x768, 
800x600, 640x480
Video mode set to 3840x1080/32bit
[f=0000000] SDL version:  1.2.15
[f=0000000] GL version:   4.3.0 NVIDIA 319.72
[f=0000000] GL vendor:    NVIDIA Corporation
[f=0000000] GL renderer:  GeForce GTX 560/PCIe/SSE2
[f=0000000] GLSL version: 4.30 NVIDIA via Cg compiler
[f=0000000] GLEW version: 1.7.0
[f=0000000] Video RAM:    total 1024MB, available 727MB
[f=0000000] Installing OpenGL-DebugMessageHandler
[f=0000000] GL info:
	haveARB: 1, haveGLSL: 1, ATI hacks: 0
	FBO support: 1, NPOT-texture support: 1, 24bit Z-buffer support: 1
	maximum texture size: 16384, compress MIP-map textures: 0
[f=0000000] Joysticks found: 0
[f=0000000] Warning: Joystick 0 not found
[f=0000000] CPU Cores: 4
[f=0000000] CPU affinity not set
[f=0000000] [Sound] OpenAL info:
[f=0000000] [Sound]   Available Devices:
[f=0000000] [Sound]               OpenAL Soft
[f=0000000] [Sound]   Device:     OpenAL Soft
[f=0000000] [Sound]   Vendor:         OpenAL Community
[f=0000000] [Sound]   Version:        1.1 ALSOFT 1.14
[f=0000000] [Sound]   Renderer:       OpenAL Soft
[f=0000000] [Sound]   AL Extensions:  AL_EXT_ALAW AL_EXT_DOUBLE 
AL_EXT_EXPONENT_DISTANCE AL_EXT_FLOAT32 AL_EXT_IMA4 
AL_EXT_LINEAR_DISTANCE AL_EXT_MCFORMATS AL_EXT_MULAW 
AL_EXT_MULAW_MCFORMATS AL_EXT_OFFSET AL_EXT_source_distance_model 
AL_LOKI_quadriphonic AL_SOFT_buffer_samples AL_SOFT_buffer_sub_data 
AL_SOFTX_deferred_updates AL_SOFT_direct_channels AL_SOFT_loop_points
[f=0000000] [Sound]   ALC Extensions: ALC_ENUMERATE_ALL_EXT 
ALC_ENUMERATION_EXT ALC_EXT_CAPTURE ALC_EXT_DEDICATED ALC_EXT_disconnect 
ALC_EXT_EFX ALC_EXT_thread_local_context ALC_SOFT_loopback
[f=0000000] [ArchiveScanner] Warning:  checksum: not found (0)
[f=0000000] [ArchiveScanner] Warning: No map selected checksum: not 
found (0)
[f=0000000] Video mode set to 1920x1053/32bit
[f=0000000] Error: Segmentation fault (SIGSEGV) in spring 88.0 (OMP)
[f=0000000] Error: Stacktrace:
[f=0000000] Error:   <0> /lib/x86_64-linux-gnu/libc.so.6(+0x35260) 
[0x7fa85734d260]
[f=0000000] Error:   <1> ??:?
[f=0000000] Error:   <2> ??:?
[f=0000000] Error:   <3> ??:?
[f=0000000] Error:   <4> /lib/x86_64-linux-gnu/libpthread.so.0(+0x7e0e) 
[0x7fa8576cfe0e]
[f=0000000] Error:   <5> /lib/x86_64-linux-gnu/libc.so.6(clone+0x6d) 
[0x7fa8574009ed]
terminate called after throwing an instance of 'boost::thread_interrupted'
Abandon