remove (unnecessary) sed command in compile-stdlib.sh