If they won't it might be the best short term option. We will have to run some tests to see if we can make it compatible. The files are included because it makes for easier updates, but it is known to conflict with the php extension (which is rarely installed) so we will have to make a dev environment and test against it.