property system: make splices compile on GCC 4.4