Resync with current master of official Psychtoolbox-3 repo. v3.0.12-SP5