Forget that. @lamblin raise good questions, we can do it cleanly later if needed.