Get rid of build.sh
Observer.php: fix the check