derived file