vpasolve: another attempt at 0.7.5 workaround