Little script for compressing pdf files