DECAF crashes when loading linux image about decaf-platform HOT 1 OPEN

I'm seeing DECAF seg fault during boot. Here's a backtrace of the last crash I 
got:

#0  0x00007ff48745b958 in std::tr1::_Hashtable<std::string, 
std::pair<std::string const, unsigned int>, 
std::allocator<std::pair<std::string const, unsigned int> >, 
std::_Select1st<std::pair<std::string const, unsigned int> >, 
std::equal_to<std::string>, std::tr1::hash<std::string>, 
std::tr1::__detail::_Mod_range_hashing, 
std::tr1::__detail::_Default_ranged_hash, 
std::tr1::__detail::_Prime_rehash_policy, false, false, true>::~_Hashtable() ()
#1  0x00007ff48745aefc in VMI_remove_module(unsigned int, unsigned int) ()
#2  0x00007ff487448938 in ?? ()
#3  0x00007ff48743d174 in DECAF_invoke_tlb_exec_callback ()
#4  0x00007ff4873dfebd in tlb_set_page ()
#5  0x00007ff4873fa3f3 in cpu_x86_handle_mmu_fault ()
#6  0x00007ff487426dcc in tlb_fill ()
#7  0x00007ff4873e1b8a in __ldb_cmmu ()
#8  0x00007ff4873d78c3 in cpu_x86_exec ()
#9  0x00007ff4873db061 in ?? ()
#10 0x00007ff48435bb50 in start_thread ()
   from /lib/x86_64-linux-gnu/libpthread.so.0
#11 0x00007ff4840a5a7d in clone () from /lib/x86_64-linux-gnu/libc.so.6
#12 0x0000000000000000 in ?? ()

The fault occurred while the guest OS was booting. It was built on my Debian 
box:
gcc (Debian 4.7.2-5) 4.7.2
libc6 2.13-38