Fixes to have the test run correctly even if the extension is a package. Also removed the "import Thuban" which makes no sense.