better name for the .lib file