dblatex: minor tweak to BUILD