compilation fix #1180