Support for x86_64 simulator [issue #36]