Fix executable main