bug spotted by stef in _import_top_module, some sort of string-handling issue
bug spotted by stef in _import_top_module, some sort of string-handling issue

git-svn-id: 6db40d0534cac73ba019dccfebee869402ecad0c@2213 7a2bd370-bda8-463c-979e-2900ccfb811e

certik/pyjamas,certik/pyjamas,certik/pyjamas,certik/pyjamas