Utilities for toxfiles