lowercase filename to make github happy