Some configuration for dev on Linux.