altos: Change default time type to 32-bits