Resync with current master of official Psychtoolbox-3 repo.