re-compiled and compressed