Other lint types work again. Fixed a bug with nonstripped binaries.