Add extra-source-files and update travis settings