Optimize Linux library size (shrinks it from 30 MB to 17 MB, roughly)
Add coverage script