That's a possibility. Perhaps worth mentioning in the release docs that this would not be a good idea? Don't really want to work around this one-off issue...