Updated build options to make Travis-CI complain less