bugfix vsim working on ubuntu 14.04