puts "DEBUG: lib/gnu.exp is being loaded"