This reverts both 344ae4d6 and ef5ae496. The mess was caused by me not actually pushing my change causing duplicated work by Mattia. Mea culpa...
mentioned in commit ef5ae496