Download binary file, predicates.ps