The attached patch is necessary to work around a bug in the parsing in