fix the linux libraries