Adapt file names due to package renamings