Avoid generating octal numbers in include/stamp.h