Hack for linux libraries