Reset PS4 to work around an issue with rvm.

Related to travis-ci/travis-ci#1949 and travis-ci/travis-ci#1952.