Bugfix for missing files because of depublication