added single-file executable