Dear fellow developers, could you please comment on flyspray task http://hal.iwr.uni-heidelberg.de/flyspray/?do=details&id=277 and if necessary alter the list of tests to skip. I think it is worthwile to skip optional tests by default and thus reduce the time to build dune. Cheers, Markus