We don't need this VERSION file anymore