They sell loctite here in the states. I think it is primarily Krazy Glue brand super glue that leaves the white discoloration, I haven't heard about that problem with other brands.
Don't know if you can get it in the states but I use Loctite superglue easy brush, it comes with a brush attached which makes it easier to apply (though not as accurate as a toothpick or pin) it also leaves no white marks whatsoever. I would post a picture of it and the results but that will have to wait till I figure out how to do it on his new fangled board.