shouldn't the files under ``lib/` be still checked?