Workaround to run the experiments for SSBSE 2013.

TODO: undo this as soon as possible