Launchy: workaround a bug in gcc 4.7.