diff --git a/.travis.yml b/.travis.yml
index b353761b2d..3095262290 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,15 +21,12 @@ cache:
 
 addons:
   apt:
-    sources:
-      - sourceline: 'ppa:ondrej/php'
     packages:
       - libc6-i386
       - libgcc1:i386
       - libstdc++6:i386
       - python
       - python-pip
-      - php5.6
 
 install:
   - tools/travis/install_build_tools.sh
diff --git a/tools/travis/build_tools.sh b/tools/travis/build_tools.sh
index 2e9810b470..193ad261a6 100755
--- a/tools/travis/build_tools.sh
+++ b/tools/travis/build_tools.sh
@@ -7,6 +7,8 @@ if [ "$BUILD_TOOLS" = true ];
 then
     md5sum -c - <<< "49bc6b1b9ed56c83cceb6674bd97cb34 *html/changelogs/example.yml";
     cd tgui && source ~/.nvm/nvm.sh && gulp && cd ..;
-    php5.6 -l tools/WebhookProcessor/github_webhook_processor.php;
+    phpenv global 5.6
+    php -l tools/WebhookProcessor/github_webhook_processor.php;
+    php -l tools/TGUICompiler.php;
     python tools/ss13_genchangelog.py html/changelog.html html/changelogs;
 fi;