this is workaround for https://github.com/DEVSENSE/Phalanger/issues/15.