Thanks. Same problem on Debian Jessie (8.1). The bug is said to be fixed (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743939), but not in Debian stable. Your workaround is fine.
Thank you so much, I just had to do this on my Raspberry Pi. Any idea why this is necessary? On all my other machines the "/net -hosts" line works just fine.