[Oberon] Finding libc.os for aos on linux.

[R. Clayton]

  Edit the binary.

I was looking for a technique that's a little more convenient, one that doesn't
require that I wash my hands when I'm done.  But let's give it a try:

  $ od -c aos.linux | grep 'b   /'
  0000420 004  \0  \0  \0   /   l   i   b   /   l   d   -   l   i   n   u
  0002740 022  \0  \0  \0   ó 002  \0  \0   $ 223 004  \b   /  \0  \0  \0

  $ od -c aos.linux | grep '/   l'
  0000420 004  \0  \0  \0   /   l   i   b   /   l   d   -   l   i   n   u

  $ strings aos.linux | grep libc
  libc.so.6
  __libc_start_main

  $ 

It seems that "/lib/libc.so" isn't anywhere (I'll admit I haven't done this
sort of thing in a while and I'm out of practice).  However, it seems that libc
has been found anyway, which makes sense because aos runs, which I wouldn't
expect it to do with undefined symbols from libc.

And, just in case you were wondering:

  $ nm aos.linux 
  nm: aos.linux: no symbols

  $