MySQL 5.5 apparently does not like specifying a size for a timestamp column