1362692527.080972 warning: non-void function returns without a value: add_extension
