fix #12; rework the phpUnit config