This bug is a duplicate of https://debbugs.gnu.org/cgi/bugreport.cgi?bug=28956 , which is now fixed.