RPython does not like sys.exit, so we emulate it using an Exit-Exception. Also, we add a proper target file