Fix formatting, make lib.path() tests more strict, improve symbol_location()