bugfix for missing library