Removed versiontools since we've dropped it a while ago.