Frank&Dennis: small change to specify your own filename