Fix #57: springloaded built with -1.5