@RobertH, are you using a 64-bit architecture? if not, the folder may be named differently. Try running: ls -ld /lib/*-linux-gnu to see what the directory on your system may be called.
@RobertH, are you using a 64-bit architecture? if not, the folder may be named differently. Try running: ls -ld /lib/*-linux-gnu to see what the directory on your system may be called.