added an option to define a custom library extension