Corrected Travis CI staging of deleted files

Generated by commit 54acc0e15b21fcafae311541b745ed893eaeeaed; pushed by Travis build 14.