Fix build options for Travis-CI