Use pdf as default output FOR <*>