Rectified several Makefiles. Perhaps solving the linking problem on
Ubuntu 12.?? x86_64.