Added a temporary workaround for SimTk/openmm#642.