add missing timer-gp.h and use 4.6 toolchain