Work around bug http://debbugs.gnu.org/16038