fix INSTALL file

 -- under ubuntu, one should install pkg-config