Add some stub libraries for linux