Try to fix Travis build by adding some random options