package "Deducer" works locally, but not on server