Revert "Revert "rename lecture filename""

This reverts commit 163bae28cac039be7cc1088be305d11a284b3f56.