Travis build failed on bootstrap.php because of a change my push/merge/rebase apparently enveloped.