some modifications to make files up-to-date