[PATCH] Fix misnamed CONFIG files