Undo accidental permissions change on bootstrap.php