Hopefully a fix of the weird files.copy bug on jenkins