linux 3.8.10, correct .install libtool