dummy decorator to "timeit" functions; very dummy, but sometimes necessary to install ;)