Compiling on x86 linux. Unifying makefiles. Fixed splint issues