Increase future timeout, so give ghc-modi some time to start up.