Update with makefile for 64-bit architecture.
Merge branch 'master' of github.com:gsimko/InterfacingFlowstar