included suggested changes, ./tests/launch-*.ispc still fails. something is mask64 related, not sure what. help...