Reverted Travis CI configuration script