Guess what? This change fails on Ubuntu.