move rfc5280time to rfc5280time_small Having the same name as the executable confuses the driver, and it runs the wrong thing.
2015-10-18T11:18:23