Use a dust build that preserves @pre tags