Updated specchecker to outlaw compilation errors