I think we should just move to the toplevel directory