building and running under linux