Fix #369: Test prohibition to export names containing __

This already worked (unlike what the ticket said). This commit only
adds the relevant test.