fix specs for functions and compile with debug_info flag