comment out an unused function: crases on gcc-4.9 (??)