#0  LOCK_fini (status_vector=0xbf8eb034, owner_offset=0xbf8eb084) at ../src/lock/lock.cpp:648
  [Error: ../src/lock/lock.cpp was not found in source tree]
#1  0x0804b0dd in main (argc=<value optimized out>, argv=) at ../src/lock/manager.cpp:74
  [Error: ../src/lock/manager.cpp was not found in source tree]
#2  0xb7d77450 in __libc_start_main () from /lib/tls/i686/cmov/libc.so.6
#3  0x0804afd1 in _start ()