Move bootstrap.php to dist version.