adding some things into source to let travis be happy