fix name of the lib file