changed file extensions since git couldn't detect the right filetype
small cleanup