Auto deployment when pushing on 'source' branch via travis-ci build: fix mission patch [#7]