Documentation fixes
makefile for compilation on linux for both 32 and 64 bit distros