JBOSS-15: added manual patching as this refuses to work on jenkins/lenny